$\forall$${\it es}$:event\_system\{i:l\}, $e$,${\it e'}$:es{-}E(${\it es}$). es{-}ble\{i:l\}(${\it es}$;$e$;${\it e'}$) $\in$ $\mathbb{B}$